Charles Sanders Peirce, George Spencer Brown, and Me โ€ข 20
inquiryintoinquiry.comยท9h
๐Ÿ”€Category Theory
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.comยท18h
๐Ÿ’ปLocal LLMs
Balance between refactoring and inheritance in your code
github.comยท1dยท
Discuss: Hacker News
โœ…Format Verification
System Instruction Fixed Point
funcall.blogspot.comยท7hยท
Discuss: www.blogger.com
โšกProof Automation
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งHardware Verification
Claude Can (Sometimes) Prove It
galois.comยท3hยท
Discuss: Lobsters, Hacker News
โš”๏ธLean Tactics
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.orgยท22h
๐ŸงฎTheorem Proving
PSA: `views::single` doesnโ€™t really view
quuxplusone.github.ioยท1d
๐ŸงฎAlgebraic Datatypes
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท1d
๐Ÿ”—Topological Sorting
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1d
โœจAlgebraic Effects
Linkage
11011110.github.ioยท1d
๐Ÿ“Linear Algebra
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukยท1d
๐Ÿค–Grammar Induction
Lies-in-the-Loop (LITL): Attacking (and Defending) Human-in-the-Loop AI Workflows
dev.toยท8hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
A minimal formula for AI destiny (Max O subject to D(world,human) โ‰ค ฮต)
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Unified multimodal access layer for Quoraโ€™s Poe using Amazon Bedrock
aws.amazon.comยท10h
๐Ÿ”ŒInterface Evolution
How to implement the Outbox pattern in Go and Postgres
medium.comยท11hยท
Discuss: Lobsters
๐Ÿ”CBOR
The Case for Compact AI โ€“ Communications of the ACM
dl.acm.orgยท18hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Programming
Building a Unified Intent Recognition Engine
towardsdatascience.comยท7h
๐ŸงฎZ3 Applications
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.orgยท22h
๐Ÿ’ปLocal LLMs